- формулы Моргана
- Mathematics: de Morgan formulas
Универсальный русско-английский словарь. Академик.ру. 2011.
формулы Моргана
Смотреть что такое "формулы Моргана" в других словарях:
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Конъюнктивная нормальная форма — (КНФ) в булевой логике нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к… … Википедия
История математики — История науки … Википедия
Математика Древнего Востока — История науки По тематике Математика Естественные науки … Википедия
ИИСУС ХРИСТОС — [греч. ᾿Ιησοῦς Χριστός], Сын Божий, Бог, явившийся во плоти (1 Тим 3. 16), взявший на Себя грех человека, Своей жертвенной смертью сделавший возможным его спасение. В НЗ Он именуется Христом, или Мессией (Χριστός, Μεσσίας), Сыном (υἱός), Сыном… … Православная энциклопедия
ЭТНОЛОГИЯ — наука о сравнит, изучении культур, в амер. традиции часть или синоним культурной антропологии, в европейской (брит. и франц.) аналог социальной антропологии, в странах нем. языка самостоят. направление исследования. Базовая единица… … Энциклопедия культурологии
Дизъюнктивная нормальная форма — (ДНФ) в булевой логике нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ.[1] Для этого можно использовать закон двойного отрицания, закон де Моргана, закон… … Википедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици … Википедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
